¿Qué puedo hacer?
Encuentra
visualización
Escritor
Andrew Hodges (nacido en Londres, 1949) es un matemático, escritor y pionero del movimiento de liberación gay de los años 70. Durante las últimas décadas (desde 1972) Hodges ha centrado sus actividade ...
Premio
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental ...
Definición
El Entscheidungsproblem (en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. ...
Premio
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental ...
Añadir a Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...